Left-exact localizations of ?-topoi I: Higher sheaves
نویسندگان
چکیده
We are developing tools for working with arbitrary left-exact localizations of ?-topoi. introduce a notion higher sheaf respect to an set maps ? in ?-topos E. show that the full subcategory sheaves Sh(E,?) is ?-topos, and reflection E?Sh(E,?) localization generated by ?. The proof depends on congruence, which substitute Grothendieck topology 1-topos theory.
منابع مشابه
Left localizations of left Artinian rings
For an arbitrary left Artinian ring R, explicit descriptions are given of all the left denominator sets S of R and left localizations SR of R. It is proved that, up to R-isomorphism, there are only finitely many left localizations and each of them is an idempotent localization, i.e. SR ≃ S e R and ass(S) = ass(Se) where Se = {1, e} is a left denominator set of R and e is an idempotent. Moreover...
متن کاملExact Completions and Small Sheaves
We prove a general theorem which includes most notions of “exact completion” as special cases. The theorem is that “κ-ary exact categories” are a reflective sub-2-category of “κ-ary sites”, for any regular cardinal κ. A κ-ary exact category is an exact category with disjoint and universal κ-small coproducts, and a κ-ary site is a site whose covering sieves are generated by κ-small families and ...
متن کاملEssential Localizations and Infinitary Exact Completion
We prove the universal property of the infinitary exact completion of a category with weak small limits. As an application, we slightly weaken the conditions characterizing essential localizations of varieties (in particular, of module categories) and of presheaf categories. Introduction An essential localization is a reflective subcategory such that the reflector has a left adjoint. In [12], R...
متن کاملSection 3.8 - Higher Direct Images of Sheaves
In this note we study the higher direct image functors Rf∗(−) and the higher coinverse image functors Rf (−) which will play a role in our study of Serre duality. The main theorem is the proof that if F is quasi-coherent then so is Rf∗(F ), which we prove first for noetherian schemes and then more generally for quasi-compact quasi-separated schemes. Most proofs are from either Hartshorne’s book...
متن کاملParabolic Character Sheaves, I
We study a class of perverse sheaves on the variety of pairs (P, gUP ) where P runs through a conjugacy class of parabolics in a connected reductive group and gUP runs through G/UP . This is a generalization of the theory of character sheaves. 2000 Math. Subj. Class. 20G99.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2022
ISSN: ['1857-8365', '1857-8438']
DOI: https://doi.org/10.1016/j.aim.2022.108268